- следствие Леммы 3
- Mathematics: assertion (i) is a consequence of Lemma 3
Универсальный русско-английский словарь. Академик.ру. 2011.
следствие Леммы 3
Смотреть что такое "следствие Леммы 3" в других словарях:
Лемма Адамара — (англ. Hadamard s lemma, фр. Lemme de Hadamard) утверждение, описывающее строение гладкой вещественной функции. Названа в честь французского математика Жака Адамара. Пусть функция класса , где , определенная в выпуклой окрестности … Википедия
Лемма Накаямы — важная техническая лемма в коммутативной алгебре и алгебраической геометрии, следствие правила Крамера. Она имеет множество эквивалентных формулировок. Вот одна из них: Пусть R коммутативное кольцо с единицей 1, I идеал в R, а M… … Википедия
Лемма Шуры-Буры — Лемма Шуры Буры принятое в научной школе П. С. Александрова название для следующего элементарного утверждения общей топологии, касающегося свойств компактных пространств: Пусть открытое подмножество компактного пространства … Википедия
Вещественное число — Вещественное, или действительное число [1] математическая абстракция, возникшая из потребности измерения геометрических и физических величин окружающего мира, а также проведения таких операций как извлечение корня, вычисление логарифмов, решение… … Википедия
ОПРОВЕРЖЕНИЕ — в логике рассуждение, направленное против выдвинутого утверждения, предположения или доказательства и имеющее своей целью установление его ложности или недоказанности. Различают прямое и косвенное О. При прямом О. из выдвинутого положения выводят … Философская энциклопедия
Основная теорема арифметики — утверждает: Каждое натуральное число можно представить в виде , где простые числа, причём такое представление единственно с точностью до порядка следования сомножителей. Единицу можно также считать произведением нулевого количества простых … Википедия
дилемма — (от греч. di(s) дважды и lemma предположение) в традиционной логике условно разделительное умозаключение, т. е. умозаключение, посылками которого являются условные и разделительные суждения. Условно разделительные умозаключения вообще называются… … Словарь терминов логики
ЛИНДЕЛЁФА ПРИНЦИП — основной качественный вариационный принцип в теории конформного отображения, найденный Э. Линделёфом [1]. Пусть односвязные области Dи на плоскости комплексного переменного z таковы, что их границы Г и соответственно состоят из конечного числа… … Математическая энциклопедия
Метод неделимых — Метод неделимых возникшее в конце XVI в. наименование совокупности довольно разнородных приёмов вычисления площадей или объёмов фигур. Формализация этих приёмов во многом определила развитие интегрального исчисления. Содержание 1 Идея… … Википедия
Лемма о разрастании для контекстно-свободных языков — Лемма о разрастании для контексто свободных языков лемма, по аналогии с одноименной леммой для регулярных языков позволяющая относительно несложно доказывать, что данный язык не является контекстно свободным. Содержание 1 Формулировка 2… … Википедия
Мультипликативная группа кольца вычетов — Приведённая система вычетов по модулю m множество всех чисел полной системы вычетов по модулю m, взаимно простых с m. Приведённая система вычетов по модулю m состоит из φ(m) чисел, где φ(·) функция Эйлера. В качестве приведённой системы вычетов… … Википедия
